241. Analysis and synthesis of logics

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Logic, Symbolic and mathematical. ;

242. Analysis and synthesis of logics

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Logic, Symbolic and mathematical.

رده :
QA9
,.
A633
,
2008

243. Analysis and synthesis of logics: how to cut and paste reasoning systems

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
A634
2008

244. Analysis and synthesis of logics :how to cut and paste reasoning systems /Walter Carnielli ... [et al.].

پدیدآورنده :

کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)

موضوع : Logic, Symbolic and mathematical.

245. Analytical syllogistics;a pragmatic interpretation of the Aristotelian logic

پدیدآورنده :

کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)

موضوع : Aristotle,Logic, Symbolic and mathematical.,Syllogism.

246. Appalachian set theory :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Logic, Symbolic and mathematical,Set theory

رده :
QA248
.
A66
2013

247. Applications of Hyperstructure Theory

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.

248. Applications scientifiques de la logique mathematique

کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)

موضوع : Logic, Symbolic and mathematical --Congresses

249. Applications scientifiques de la logique mathematique : actes du 2e colloque international de logique mathematique, Paris, 25-30 Aout 1952

پدیدآورنده :

کتابخانه: Library of College of Science University of Tehran (Tehran)

موضوع : Congresses ، Logic, Symbolic and mathematical

رده :
BC
131
.
C65

250. Around and beyond the square of opposition

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Inference,Logic, Symbolic and mathematical,Opposition, Theory of

رده :
QA9
.
A76
2012eb

251. Artificial Intelligence in Logic Design

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.

252. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1476

253. Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1930

254. Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
3249

255. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings

پدیدآورنده :

کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
Q
334
.
A766
2006

256. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
4120

257. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings

پدیدآورنده :

کتابخانه: Central Library of Amirkabir University of Technology (Tehran)

موضوع : Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses

رده :
Q
334
.
A766
1996

258. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
Q
334
.
I5488
1992

259. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
737

260. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1138